open structures

// ------------------------------------------------------------
//  CSR
// ------------------------------------------------------------

one sig CSR_Client extends CSR {}
one sig CSR_Server extends CSR {}

